Logical truth - PDFSEARCH.IO - Document Search Engine

Logical truth
Results: 321

#	Item
61	Analyzing proofs in analysis∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, D–60054 Frankfurt am Main, Germany 1 Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 10:10:27 Logic Mathematics Mathematical analysis Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Computability theory operator Spectral theory of ordinary differential equations
62	Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Elimination of Skolem functions for monotone formulas in analysis Ulrich Kohlenbach Add to Reading List Source URL: www.mathematik.tu-darmstadt.de Language: English - Date: 2012-11-16 09:33:24 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Symbol Constructible universe
63	9/11 – Acceleration Study Proves Explosive Demolition Frank Legge (Ph D) Logical Systems Consulting Perth, Western Australia. Version 2.1 Add to Reading List Source URL: 911research.wtc7.net Language: English - Date: 2006-12-21 00:38:45 World Trade Center 7 World Trade Center September 11 attacks Building implosion Demolition World Trade Center controlled demolition conspiracy theories Architects & Engineers for 9/11 Truth
64	Recent Developments in ΩMEGA’s Proof Search Programming Language Serge Autexier Dominik Dietrich Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:10:40 Logic Proof theory Formal systems Logical truth Syntax Proof assistants Mathematical proof Logic programming Sequent KeY Rule of inference Inference
65	NIST Data Disproves Collapse Theories Based on Fire Frank Legge (Ph D) Logical Systems Consulting Perth, Western Australia. Abstract Add to Reading List Source URL: 911research.wtc7.net Language: English - Date: 2006-12-03 00:32:19 World Trade Center Real estate Manhattan Construction Filmed deaths Collapse of the World Trade Center Safety Progressive collapse National Institute of Standards and Technology Structural integrity and failure 9/11 Truth movement September 11 attacks
66	Towards a Proof Theory for Multi-Agent Logics with Irrevocable Strategies 1 ˚ Thomas Agotnes , Valentin Goranko2 , and Wojciech Jamroga3 Add to Reading List Source URL: folk.uib.no Language: English - Date: 2007-07-31 07:08:31 Logic Mathematical logic Philosophy Model theory Formal languages Logical truth Propositional calculus Linear temporal logic Temporal logic Interpretation Substitution operator
67	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: folk.uib.no Language: English - Date: 2009-04-11 10:36:49 Logic Mathematical logic Abstraction Model theory Formal languages Logical truth Metalogic First-order logic Interpretation Substitution Well-formed formula Satisfiability
68	Ambivalent Types for Principal Type Inference with GADTs Jacques Garrigue1 and Didier R´emy2 1 Nagoya University, Graduate School of Mathematics Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2013-12-10 00:37:28 Logic Automated theorem proving Logic programming Logical truth Propositional calculus Substitution Orbifold Symbol
69	c 2006 International Press ! COMM. MATH. SCI. Vol. 4, No. 1, pp. 267–273 Add to Reading List Source URL: www.dam.brown.edu Language: English - Date: 2007-06-06 15:27:46 Automated theorem proving Logic programming Logical truth Propositional calculus Substitution
70	Polynomial-Time Inverse Computation for Accumulative Functions with Multiple Data Traversals Kazutaka Matsuda Tohoku University Add to Reading List Source URL: www2.sf.ecei.tohoku.ac.jp Language: English - Date: 2013-05-31 02:47:36 Mathematics Special functions Declarative programming Automated theorem proving Logic programming Data types Functional programming Logical truth Substitution Cons Exponentiation Inverse trigonometric functions

UPDATE